TEX in Teaching
نویسندگان
چکیده
A well-known slogan in language technology is ‘parsing-as-deduction’: syntax and meaning analysis of a text takes the form of a mathematical proof. Developers of language technology (and students of computational linguistics) want to visualize these mathematical objects in a variety of formats. We discuss a language engineering environment for computational grammars. The kernel is a theorem prover, implemented in the logic-programming language Prolog. The kernel produces latex source code for its internal computations. The front-end displays these in a number of user-defined typeset formats. Local interaction with the kernel is via a tcl/tk GUI. Alternatively, one can call the kernel remotely from dynamic PDF documents, using the form features of Sebastian Rahtz’ hyperref package. T his paper discusses some uses of the dynamic possibilities offered by Sebastian Rahtz’ hyperref package in the context of a courseware project we have been engaged in. The project provides a grammar development environment for Type-Logical Grammar — one of the formalisms that are currently used in computational linguistics. Our paper is organized as follows. First, we offer the reader a glimpse of what type-logical grammars look like. In the next section, we discuss the TEX-based visualisation tools of the Grail workbench in its original unix habitat. Finally, we report on our current efforts to provide browser-based access to the Grail kernel via dynamic PDF documents. Type-logical grammar Type-logical (TLG) grammar is a logic-based computational formalism that grew out of the work of the mathematician Jim Lambek in the late Fifties. For readers with easy access to issues of the American Mathematical Monthly in the pre-TEX era, the seminal paper (Lambek 1958) is warmly recommended; (Moortgat 1997) gives an upto-date survey of the field. The mathematically-inclined reader of these Proceedings will easily appreciate why it is such a pleasure to work with TLG. As the name suggests, TLG has strong type-theoretic connections. One could think of it as a functional programming language with some special features to handle the ∗We thank Willemijn Vermaat and Bernhard Fisseni for helpful discussions of TEXnicalities. For comments and suggestions, contact {moortgat,oehrle}@let.uu.nl.
منابع مشابه
Investigating the Energy Efficiency of TEX High Energy Derivatives with Different Carbon Fuller Nano Structures under Different Temperature Conditions by DFT Method
In this study, high energy energy derivatives of TEX with different carbon-containing fullerenes at different temperature conditions were studied using density functional theory. For this purpose, the materials were first geometric optimized, then the thermodynamic parameters were calculated for all of them. Then, the process of changing the energy-dependent parameters such as specific heat cap...
متن کاملKETCindy – linkage between dynamic geometry and TEX graphics – Masataka
TEX has become most major tool to edit teaching materials in collegiate mathematics education because it provides high quality output of mathematical expressions and automates most aspects of publishing features. However, it is not so easy for teachers to generate high quality “graphics” in final output of TEX. We have developed KETpic which is a macro package of Computer Algebra System (CAS) t...
متن کاملSerodiagnosis of Toxocara among Infants and Pregnant Women Suspected of Ocular or Visceral Toxocariasis Using Two Types of ELISA Antigens
Background: The diagnosis of toxocariasis heavily depends on immunological tests because the number of parasites is usually few in infected tissues, unless they migrate into an organ such as eye. In general, patients with ocular toxocariasis have serum anti- T canis antibody titres that are significantly lower than those with visceral toxocariasis. Objective: To diagnose the asymptomatic toxoca...
متن کاملسنتز 10،4-دی‌نیترو 12،8،6،2- تترااکسا 10،4-دی‌آزاایزوورتزیتان در حضور مایعات یونی
4, 10- Dinitro-2, 6, 8, 12- tetraoxa-4, 10- diazaisowurtzitane (TEX) is well known as an efficient Insensitive high explosive. It was usually prepared via nitration of 1, 4- diformyl- 2, 3, 5, 6- tetrahydroxy piperazine reaction using a mixture of fuming nitricacid and concentrated sulfuric acid. However, these traditional liquid acids are toxic, corrosive and produce hazardous waste. In additi...
متن کاملارزیابی و مقایسه عوارض وتمامیت فیستول شریانی- وریدی باگرافت گورتکس 6 و 8 میلی‌متری در اندام فوقانی و مقایسه آن‌ها با گرافت گورتکس 8 میلی‌متری اندام تحتانی در یک سال اول پس از عمل
Background & Aims: This study was done in hem dialysis patients who referred to Imam Khomeini hospital of Urmia for insertion of arterial -venous fistula with Gore-tex, in whom there was not possibility of natural fistula. Objectives were assessment and comparison of complications and patency of arterial-venous fistulas was done with 6 and 8 mm Gore-tex graft in the upper limb and comparison of...
متن کامل